* {
	margin: 0;
	padding: 0;
}

a {
	color: #5E526E;
}
a:hover {
	color: #C25801;
}

body {
	background-color: #E4E9F1;
	font-family: Helvetica,Arial,sans-serif;
	font-size: 75%;
	color: #5E526E;
}
body div#output {
	margin-left: 10px;
}
body div#output p#php_code {
	color: blue;
}
body div#output p {
	font-weight: bold;
	font-size: 0.85em;
}
body div#output div {
	margin: 10px 10px 5px 0;
	padding: 5px;
	border: 2px solid white;
	font-weight: normal;
	font-size: 1em;
}
body div#output div p {
	font-weight: normal;
	font-size: 1em;
}